A Type System for Required/Excluded Elements in CLS
نویسندگان
چکیده
The calculus of looping sequences is a formalism for describing the evolution of biological systems by means of term rewriting rules. We enrich this calculus with a type discipline to guarantee the soundness of reduction rules with respect to some biological properties deriving from the requirement of certain elements, and the repellency of others. As an example, we model a toy system where the repellency of a certain element is captured by our type system and forbids another element to exit a compartment.
منابع مشابه
Varicella Zoster Virus (VZV) Origin-Dependent Plasmid Replication in the Presence of the Four Overlapping Cosmids Comprising the Complete Genome of VZV
The Varicella-Zoster Virus (VZV) genome contains both cis-acting and trans-acting elements, which are important in viral DNA replication. The cis-acting elements consist of two copies of oriS, and the trans-acting elements are those genes whose products are required for virus DNA replication. It has been shown that each of the seven genes required for ori-dependent DNA synthesis of Herpes Simpl...
متن کاملDevelopment of the ( adaptive ) Computer Literacy Scale ( CLS )
The paper describes the development of the computer literacy scale (CLS), an objective knowledge test estimating the ability to understand ICT related symbols, functional elements and interaction patterns as an essential aspect of computer literacy that reliably predicts successful ICT interaction. The original version (CLS-ST) was developed as a paper & pencil questionnaire and has been used i...
متن کاملSpatial Calculus of Looping Sequences
The Calculus of Looping Sequences (CLS) enables the description of biological systems and of their evolution. This paper presents the Spatial CLS, an extension of CLS that allows the description of the position of biological elements, and of the space they take up in a 2D/3D space. The elements may move autonomously during the passage of time, and may interact when constraints on their position...
متن کاملClassification Systems and Their Lattice *
We define and study classification systems in an arbitrary CJgenerated complete lattice L. Introducing a partial order among the classification systems of L, we obtain a complete lattice denoted by Cls(L). By using the elements of the classification systems, another lattice is also constructed: the box lattice B(L) of L. We show that B(L) is an atomistic complete lattice, moreover Cls(L)=Cls(B(...
متن کاملTyped Reductions of CLS
The calculus of looping sequences is a formalism for describing the evolution of biological systems by means of term rewriting rules. We enrich this calculus with a type discipline, derived from the requirement of certain elements and the repellency of others, and a type semantic, based on rules respecting different biological properties.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009